$\vdash$  $\forall$$a$, $b$:$\mathbb{Z}$. (($a$ $\ast$ $b$) $>$ 0) $\Leftarrow\!\Rightarrow$ ((($a$ $>$ 0) \& ($b$ $>$ 0)) $\vee$ (($a$ $<$ 0) \& ($b$ $<$ 0)))